Deep inference - PDFSEARCH.IO - Document Search Engine

Deep inference
Results: 52

#	Item
31	QUASIPOLYNOMIAL NORMALISATION IN DEEP INFERENCE VIA ATOMIC FLOWS AND THRESHOLD FORMULAE PAOLA BRUSCOLI, ALESSIO GUGLIELMI, TOM GUNDERSEN, AND MICHEL PARIGOT ABSTRACT. Jeˇrábek showed that cuts in propositional-logic de Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2014-05-05 11:51:09 Natural deduction Sequent calculus Rule of inference Deep inference Sequent Cut-elimination theorem Substitution Propositional calculus Proof calculus Logic Proof theory Mathematical logic
32	The Ackermann Award 2007 M. Grohe, M. Hyland, J.A. Makowsky, and D. Niwinski Members of EACSL Jury for the Ackermann Award? The third Ackermann Award is presented at this CSL’07. This is the first year in which the EAC Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:05 Mathematics Decidability Presburger arithmetic Automated theorem proving Natural deduction Wilhelm Ackermann Quantifier elimination Modal logic Deep inference Proof theory Logic Mathematical logic
33	Stochastic Backpropagation and Approximate Inference in Deep Generative Models arXiv:1401.4082v3 [stat.ML] 30 May[removed]Danilo J. Rezende, Shakir Mohamed, Daan Wierstra Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-06-01 20:20:02 Bayesian statistics Machine learning Statistical theory Variational Bayesian methods Backpropagation Gaussian process Bayesian network Perceptron Generative model Statistics Neural networks Statistical models
34	Frequency of Observation and the Estimation of Integrated Volatility in Deep and Liquid Financial Markets Add to Reading List Source URL: federalreserve.gov Language: English - Date: 2009-10-20 14:40:32 Mathematical sciences Estimation theory Statistical theory Realized variance Realized kernel Options Volatility Estimator Normal distribution Mathematical finance Statistics Statistical inference
35	Frequency of Observation and the Estimation of Integrated Volatility in Deep and Liquid Financial Markets Add to Reading List Source URL: www.federalreserve.gov Language: English - Date: 2007-10-31 15:44:50 Mathematical sciences Statistical theory Estimation theory Realized kernel Realized variance Volatility Estimator Stochastic volatility Consistent estimator Mathematical finance Statistics Statistical inference
36	Frequency of Observation and the Estimation of Integrated Volatility in Deep and Liquid Financial Markets Add to Reading List Source URL: www.federalreserve.gov Language: English - Date: 2009-10-20 14:40:32 Mathematical sciences Estimation theory Statistical theory Realized variance Realized kernel Options Volatility Estimator Normal distribution Mathematical finance Statistics Statistical inference
37	Microsoft Word - AG12-PolSizDeepInfPr Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2008-11-02 06:24:01 Dragon Pirate Stories Slipstream – The Best of British Jazz-Funk Deep inference Inference Proof theory
38	27 January 2007, ACM Transactions on Computational Logic, Vol. 8 (1:1), 2007, pp. 1–64 A System of Interaction and Structure Alessio Guglielmi University of Bath Bath BA2 7AY Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:50 Noncommutative logic Linear logic Natural deduction Substructural logic Cut-elimination theorem Sequent Curry–Howard correspondence Deep inference Admissible rule Logic Mathematical logic Proof theory
39	AG15 RED AND BLUE Alessio Guglielmi (TU Dresden and University of Bath[removed]This note needs to be read in colour to be meaningful! Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:48 Non-classical logic Logical connectives Propositional calculus Boolean algebra Linear logic Negation Sequent calculus Modal logic Deep inference Logic Mathematical logic Proof theory
40	A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae Paola Bruscoli1? , Alessio Guglielmi1?? , Tom Gundersen1? ? ? , and Michel Parigot2† 1 Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2010-07-17 14:32:37 Propositional calculus Automated theorem proving Inference Logical truth Natural deduction Sequent calculus Rule of inference Deep inference Cut-elimination theorem Logic Mathematical logic Proof theory